1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
Author: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
2297
2. Categories for types
Author: Crole, Roy L.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Categories )Mathematics(,، Lambda, Calculus
Classification :
QA
169
.
C685
1993
3. Categories for types
Author: Crole, Roy L
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Categories )Mathematics(,، Lambda calculus
Classification :
QA
169
.
C685
1993
